A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·1d·
Discuss: Lobsters, r/programming
🔤Type Theory
Crafting a dependent typechecker, part 1
blueberrywren.dev·3d·
Discuss: Hacker News
🔗Functional Compilers
Python Fundamentals: classes
dev.to·5h·
Discuss: DEV
💧Liquid Types
Doubly transitive equiangular tight frames that contain regular simplices
arxiv.org·13h
🌀Differential Geometry
Assembly_verify
philipzucker.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·7h·
Discuss: Hacker News
🌳Context free grammars
Back-end Design Patterns in Rails Eliminate Bloated Code!
blog.codeminer42.com·1h
📦CBOR Extensions
Extensions and Shadows (7)
sites.psu.edu·1d
🧮Kolmogorov Complexity
Mixture of Recursions vs. Transformers: Efficiency Unlocked
algogist.com·7h·
Discuss: Hacker News
⚡Incremental Computation
Song recommendations with C# Reactive Extensions
blog.ploeh.dk·1d
🌊Streaming Systems
mchav/dataframe
github.com·1d
🧠Lisp Dialects
Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·2d
🧮Algebraic Archives
How to Learn the Swift Source Code
blog.jacobstechtavern.com·2h·
Discuss: Hacker News
📜Proof Carrying Code
I Don't Like Imports
kevincox.ca·1d
🦀Rust Macros
Programming After AI: Why System Boundary Taste Matters
interjectedfuture.com·1d
🕹Emulation Theory
Show HN: I Built a Runtime Defense Against Prompt Injection in Supabase MCP
docs.tansive.io·1h·
Discuss: Hacker News
🌳Archive Merkle Trees
Python Fundamentals: class variables
dev.to·1d·
Discuss: DEV
🐛Fuzzing
arduino-tictactoe: A tic-tic-toe implementation using minimax for Arduino
github.com·19h
🎯Emulator Accuracy
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.com·6h·
Discuss: Hacker News
🔗Concatenative Programming
A Regular Expression Matcher Code: Rob Pike, exegesis by Brian Kernighan
cs.princeton.edu·16h
🔍RegEx Engines